Malek Mouhoub
Retrieve the information about Malek Mouhoub and his books on the go! Keep your project up to date with the ISBNdb book database searchable via API with 19 data points per book available.
Systematic Versus Approximation Methhod For Solving Incremental Satisfiability
Advances in Artificial Intelligence: 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings ... Notes in Computer Science Book 10233)
This is an excerpt from the ISBNdb database. Need more data? Get a FREE 7 day trial and get access to the full database of over 35 million books and all data points including title, author, publisher, publish date, binding, pages, list price, and more.
Get started Free